# FILE NAME: 00045-00000029.soi
# TITLE: 2018
# DESCRIPTION: 
# DATA TYPE: soi
# MODIFICATION TYPE: original
# RELATES TO: 
# RELATED FILES: 00045-00000029.soc
# PUBLICATION DATE: 2022-09-25
# MODIFICATION DATE: 2022-09-25
# NUMBER ALTERNATIVES: 139
# NUMBER VOTERS: 47
# NUMBER UNIQUE ORDERS: 43
# ALTERNATIVE NAME 1: Ryan Harrison
# ALTERNATIVE NAME 2: Guido Andreozzi
# ALTERNATIVE NAME 3: Stan Wawrinka
# ALTERNATIVE NAME 4: Andreas Seppi
# ALTERNATIVE NAME 5: Kei Nishikori
# ALTERNATIVE NAME 6: Matthew Ebden
# ALTERNATIVE NAME 7: Lorenzo Sonego
# ALTERNATIVE NAME 8: Radu Albot
# ALTERNATIVE NAME 9: Jason Kubler
# ALTERNATIVE NAME 10: Jan-Lennard Struff
# ALTERNATIVE NAME 11: Gael Monfils
# ALTERNATIVE NAME 12: Ilya Ivashka
# ALTERNATIVE NAME 13: Federico Delbonis
# ALTERNATIVE NAME 14: Jordan Thompson
# ALTERNATIVE NAME 15: Philipp Kohlschreiber
# ALTERNATIVE NAME 16: Borna Coric
# ALTERNATIVE NAME 17: Dusan Lajovic
# ALTERNATIVE NAME 18: Nikoloz Basilashvili
# ALTERNATIVE NAME 19: Albert Ramos-Vinolas
# ALTERNATIVE NAME 20: Jurgen Zopp
# ALTERNATIVE NAME 21: David Goffin
# ALTERNATIVE NAME 22: Fernando Verdasco
# ALTERNATIVE NAME 23: Kevin Anderson
# ALTERNATIVE NAME 24: Pablo Carreno Busta
# ALTERNATIVE NAME 25: Thiago Monteiro
# ALTERNATIVE NAME 26: Evgeny Donskoy
# ALTERNATIVE NAME 27: Taro Daniel
# ALTERNATIVE NAME 28: Vasek Pospisil
# ALTERNATIVE NAME 29: Fabio Fognini
# ALTERNATIVE NAME 30: Bernard Tomic
# ALTERNATIVE NAME 31: Horacio Zeballos
# ALTERNATIVE NAME 32: Jiri Vesely
# ALTERNATIVE NAME 33: Laslo Djere
# ALTERNATIVE NAME 34: Guillermo Garcia-Lopez
# ALTERNATIVE NAME 35: Richard Gasquet
# ALTERNATIVE NAME 36: Steve Johnson
# ALTERNATIVE NAME 37: Mischa Zverev
# ALTERNATIVE NAME 38: Ricardas Berankis
# ALTERNATIVE NAME 39: Pierre-Hugues Herbert
# ALTERNATIVE NAME 40: Victor Estrella Burgos
# ALTERNATIVE NAME 41: Daniil Medvedev
# ALTERNATIVE NAME 42: Damir Dzumhur
# ALTERNATIVE NAME 43: Viktor Troicki
# ALTERNATIVE NAME 44: Dudi Sela
# ALTERNATIVE NAME 45: Taylor Fritz
# ALTERNATIVE NAME 46: Joao Sousa
# ALTERNATIVE NAME 47: Marcos Baghdatis
# ALTERNATIVE NAME 48: Marius Copil
# ALTERNATIVE NAME 49: Stefanos Tsitsipas
# ALTERNATIVE NAME 50: Yuki Bhambri
# ALTERNATIVE NAME 51: Mikhail Youzhny
# ALTERNATIVE NAME 52: Julien Benneteau
# ALTERNATIVE NAME 53: Reilly Opelka
# ALTERNATIVE NAME 54: Peter Gojowczyk
# ALTERNATIVE NAME 55: Martin Klizan
# ALTERNATIVE NAME 56: Marco Cecchinato
# ALTERNATIVE NAME 57: Hyeon Chung
# ALTERNATIVE NAME 58: Mirza Basic
# ALTERNATIVE NAME 59: Marcel Granollers
# ALTERNATIVE NAME 60: Jaume Munar
# ALTERNATIVE NAME 61: Guido Pella
# ALTERNATIVE NAME 62: Jack Sock
# ALTERNATIVE NAME 63: Yen-Hsun Lu
# ALTERNATIVE NAME 64: Pablo Cuevas
# ALTERNATIVE NAME 65: Denis Kudla
# ALTERNATIVE NAME 66: Mikhail Kukushkin
# ALTERNATIVE NAME 67: Adrian Mannarino
# ALTERNATIVE NAME 68: Gilles Simon
# ALTERNATIVE NAME 69: Andy Murray
# ALTERNATIVE NAME 70: Leonardo Mayer
# ALTERNATIVE NAME 71: Alexander Zverev
# ALTERNATIVE NAME 72: Roberto Bautista Agut
# ALTERNATIVE NAME 73: Cameron Norrie
# ALTERNATIVE NAME 74: Gerald Melzer
# ALTERNATIVE NAME 75: Benoit Paire
# ALTERNATIVE NAME 76: Tennys Sandgren
# ALTERNATIVE NAME 77: Thomas Fabbiano
# ALTERNATIVE NAME 78: Mackenzie McDonald
# ALTERNATIVE NAME 79: Yuichi Sugita
# ALTERNATIVE NAME 80: Novak Djokovic
# ALTERNATIVE NAME 81: Karen Khachanov
# ALTERNATIVE NAME 82: Bradley Klahn
# ALTERNATIVE NAME 83: Paolo Lorenzi
# ALTERNATIVE NAME 84: Hubert Hurkacz
# ALTERNATIVE NAME 85: Roberto Carballes Baena
# ALTERNATIVE NAME 86: Alex de Minaur
# ALTERNATIVE NAME 87: Cristian Garin
# ALTERNATIVE NAME 88: Michael Mmoh
# ALTERNATIVE NAME 89: Steve Darcis
# ALTERNATIVE NAME 90: Grigor Dimitrov
# ALTERNATIVE NAME 91: Tomas Berdych
# ALTERNATIVE NAME 92: Kyle Edmund
# ALTERNATIVE NAME 93: Jeremy Chardy
# ALTERNATIVE NAME 94: Milos Raonic
# ALTERNATIVE NAME 95: Lucas Pouille
# ALTERNATIVE NAME 96: John Millman
# ALTERNATIVE NAME 97: Donald Young
# ALTERNATIVE NAME 98: Marton Fucsovics
# ALTERNATIVE NAME 99: Maximilian Marterer
# ALTERNATIVE NAME 100: Denis Shapovalov
# ALTERNATIVE NAME 101: Jared Donaldson
# ALTERNATIVE NAME 102: Robin Haase
# ALTERNATIVE NAME 103: Blaz Kavcic
# ALTERNATIVE NAME 104: Alexandr Dolgopolov
# ALTERNATIVE NAME 105: Sam Querrey
# ALTERNATIVE NAME 106: Gilles Muller
# ALTERNATIVE NAME 107: Florian Mayer
# ALTERNATIVE NAME 108: Nicolas Jarry
# ALTERNATIVE NAME 109: Andrey Rublev
# ALTERNATIVE NAME 110: Hugo Dellien
# ALTERNATIVE NAME 111: Feliciano Lopez
# ALTERNATIVE NAME 112: Ivo Karlovic
# ALTERNATIVE NAME 113: Matteo Berrettini
# ALTERNATIVE NAME 114: Ernests Gulbis
# ALTERNATIVE NAME 115: Cedrik-Marcel Stebe
# ALTERNATIVE NAME 116: Nicolas Kicker
# ALTERNATIVE NAME 117: Malek Jaziri
# ALTERNATIVE NAME 118: Rogerio Dutra Silva
# ALTERNATIVE NAME 119: Pablo Andujar
# ALTERNATIVE NAME 120: Lukas Lacko
# ALTERNATIVE NAME 121: Dominic Thiem
# ALTERNATIVE NAME 122: David Ferrer
# ALTERNATIVE NAME 123: Nick Kyrgios
# ALTERNATIVE NAME 124: Aljaz Bedene
# ALTERNATIVE NAME 125: Marin Cilic
# ALTERNATIVE NAME 126: Jo-Wilfried Tsonga
# ALTERNATIVE NAME 127: Frances Tiafoe
# ALTERNATIVE NAME 128: Jozef Kovalik
# ALTERNATIVE NAME 129: John Isner
# ALTERNATIVE NAME 130: Roger Federer
# ALTERNATIVE NAME 131: Denis Istomin
# ALTERNATIVE NAME 132: Diego Schwartzman
# ALTERNATIVE NAME 133: Rafael Nadal
# ALTERNATIVE NAME 134: Filip Krajinovic
# ALTERNATIVE NAME 135: Yoshihito Nishioka
# ALTERNATIVE NAME 136: Ugo Humbert
# ALTERNATIVE NAME 137: Yannick Hanfmann
# ALTERNATIVE NAME 138: Nicolas Mahut
# ALTERNATIVE NAME 139: Juan Martin del Potro
4: 80,133,130,71,139,23,125,121,5,129,81,16,29,92,49,41,132,94,90,56,18,21,24,72,57,35,100,22,11,68,86,95,36,15,123,98,4,96,127,93,55,67,108,46,117,6,42,17,45,102,105,75,66,113,39,70,10,61,54,48,76,1,65,111,19,3,124,109,37,28,91,14,85,99,135,82,27,78,2,13,60,119,30,136,87,128,84,58,64,32,73,12,131,33,134,114,59,26,8,53
2: 80,133,130,71,139,23,125,121,5,129,81,16,29,92,49,41,132,94,90,56,18,21,24,72,57,35,100,22,11,68,86,95,36,15,123,98,4,96,127,93,55,67,108,46,117,6,42,17,45,102,105,75,66,113,39,70,10,61,54,48,76,1,65,111,19,3,124,109,37,28,91,14,85,99,135,82,27,78,2,13,60,119,30,87,128,84,58,64,32,73,12,131,33,134,114,59,26,8,53,112
1: 133,130,90,71,121,125,21,62,3,24,139,80,105,23,126,69,129,95,91,72,123,5,19,94,106,132,29,67,15,42,35,64,37,134,22,111,122,104,109,79,75,102,83,36,81,11,1,16,124,92,100,70,10,101,43,52,46,57,18,54,97,32,131,61,41,31,44,13,107,34,63,26,77,66,17,6,89,93,127,112,39,115,40,51,98,4,8,33,68,99,49,120,48,14,116,76,103,117,27,74
1: 133,130,90,71,121,125,21,62,3,24,23,139,105,80,126,129,123,95,69,91,72,19,94,5,106,132,29,67,15,42,35,109,64,37,134,111,104,122,11,22,79,75,102,1,83,36,16,81,92,100,124,70,10,43,101,61,68,52,46,131,18,57,97,32,54,31,13,66,107,34,26,77,39,63,17,6,93,44,127,49,40,89,115,41,98,33,4,8,112,120,51,45,48,116,99,76,117,27,14,118
1: 133,130,90,71,121,125,21,3,62,139,24,23,105,80,126,129,123,95,69,91,72,19,94,5,29,132,67,106,15,42,35,109,122,64,37,134,104,111,11,22,79,75,102,83,1,16,81,36,92,100,124,70,41,101,10,61,68,57,52,131,18,54,97,32,43,31,13,107,66,46,34,26,77,39,17,4,63,6,40,98,127,49,115,93,33,120,8,89,112,51,45,48,116,99,44,27,76,118,14,117
1: 133,130,125,90,71,121,21,62,139,24,23,105,80,123,3,91,95,129,126,69,19,29,72,132,67,92,5,106,57,42,94,64,35,104,109,15,111,134,122,22,79,102,1,11,75,83,16,100,81,36,70,124,37,52,76,41,18,10,101,54,61,32,98,68,97,31,43,46,34,13,26,107,66,6,131,45,39,4,77,116,63,99,49,17,28,40,115,33,8,112,93,51,127,48,108,120,44,74,56,27
1: 133,130,125,90,71,121,21,62,139,24,23,105,80,123,3,91,95,129,126,69,19,29,72,132,67,92,5,106,57,42,94,64,35,104,15,109,111,134,122,22,79,102,11,75,1,83,16,100,81,36,70,124,37,76,52,41,18,10,101,61,32,98,54,68,97,31,43,46,34,13,26,107,66,131,6,39,4,49,77,116,63,99,45,17,28,40,115,33,8,112,93,51,48,127,108,120,44,74,56,27
1: 133,130,125,71,90,121,21,62,139,24,23,105,3,80,123,95,91,129,126,19,69,29,72,132,67,92,5,106,42,57,94,64,35,109,104,15,111,134,122,22,79,102,11,1,75,16,100,81,36,70,124,83,37,76,52,10,41,101,61,32,18,98,54,68,97,31,43,46,34,13,107,26,131,48,66,85,58,99,6,39,4,49,77,63,28,45,116,17,112,33,8,115,108,51,93,25,74,127,120,44
1: 130,133,125,90,71,121,21,62,23,139,24,105,3,80,123,95,91,129,19,69,29,72,132,67,92,5,126,106,42,57,109,94,64,35,15,134,111,122,11,22,79,102,124,104,75,100,81,16,70,41,36,83,37,10,61,52,101,1,4,76,32,98,13,54,43,68,34,31,107,99,46,85,48,58,97,26,18,112,131,49,77,63,28,17,45,116,8,6,66,33,127,115,51,108,14,93,44,120,39,138
1: 130,133,125,90,71,121,21,23,139,62,105,3,80,24,95,123,91,132,129,29,69,19,72,67,92,5,22,106,57,42,64,109,15,134,11,126,35,111,122,94,81,79,102,124,100,75,36,104,70,16,54,41,83,37,52,10,61,76,101,1,127,4,32,98,13,43,34,68,31,107,99,46,108,26,48,58,45,77,85,112,131,49,28,18,63,8,6,66,97,33,17,14,96,51,115,116,93,138,39,44
1: 130,133,125,90,71,121,21,139,23,62,3,95,80,24,91,72,132,129,29,123,105,19,67,92,5,57,106,134,69,42,109,111,122,64,126,35,15,94,22,79,81,11,124,100,102,75,70,101,16,54,104,36,37,1,83,10,41,52,76,61,108,4,32,127,98,31,13,43,34,68,49,107,99,45,28,26,77,6,85,112,48,58,18,117,46,63,131,8,66,33,17,96,39,116,51,115,44,14,97,93
1: 130,133,125,90,71,139,121,23,21,95,62,80,91,105,72,132,129,29,24,123,3,67,57,19,94,92,134,106,69,42,15,111,5,109,122,16,35,126,22,64,81,11,79,102,70,100,75,124,101,54,104,41,1,36,37,10,83,76,52,98,61,4,127,32,108,31,13,43,34,49,45,68,99,107,58,6,28,85,112,46,39,47,66,48,131,77,116,26,18,93,63,44,8,33,113,96,56,117,14,115
1: 133,130,125,71,90,139,121,23,129,21,95,24,80,105,132,62,72,91,57,29,3,94,19,123,67,92,134,16,106,69,111,42,122,15,109,22,126,35,5,81,64,11,79,102,100,70,75,124,41,54,101,36,104,1,37,76,83,127,52,10,98,4,61,108,32,31,34,43,49,46,68,45,99,107,28,13,6,47,39,93,85,48,131,38,26,18,116,112,96,17,117,66,33,8,58,51,63,44,56,14
1: 133,130,125,71,90,139,121,23,129,21,95,24,80,105,132,62,72,91,57,29,3,94,19,123,67,92,134,16,106,69,111,42,122,15,109,22,126,35,5,81,64,11,79,102,100,70,75,41,54,101,36,104,124,1,37,76,83,127,52,10,98,4,61,108,32,31,34,43,49,46,68,45,99,107,28,13,6,85,47,39,93,48,131,38,26,18,116,112,96,17,117,66,8,58,33,51,63,44,14,56
1: 133,130,125,71,90,139,121,23,129,21,95,24,80,105,132,72,62,91,57,29,3,94,92,19,123,67,134,106,69,111,42,122,109,35,126,5,22,81,16,15,64,11,79,102,100,70,76,75,41,54,101,36,104,1,37,127,52,124,98,61,10,4,83,46,108,45,31,34,68,43,49,32,99,107,85,112,28,6,13,18,47,39,50,93,117,48,26,131,38,116,96,58,17,44,66,8,51,63,14,56
1: 133,130,71,125,90,139,121,23,129,21,24,80,105,95,72,62,132,91,57,29,94,5,92,123,3,134,67,106,35,111,109,42,122,69,15,22,81,16,126,19,11,79,100,102,70,64,75,41,76,54,101,37,36,104,4,1,124,52,98,61,10,127,49,108,45,83,46,31,34,68,43,107,39,99,112,13,85,32,18,47,6,28,50,48,93,26,131,117,58,38,17,56,116,96,66,44,8,14,77,51
1: 133,130,71,125,90,139,121,23,129,21,24,80,105,72,62,132,91,95,29,94,5,57,92,123,3,134,67,106,35,111,109,42,122,15,16,126,22,81,69,11,19,100,102,49,70,79,64,4,75,41,76,54,101,37,36,104,1,52,56,61,98,10,124,127,108,45,34,46,96,68,43,107,99,39,18,83,85,117,13,47,6,112,28,32,50,48,93,26,131,58,38,17,116,14,31,66,44,8,51,77
1: 133,130,71,90,125,139,121,23,129,21,24,80,105,72,62,132,91,95,29,5,57,92,123,94,3,134,67,15,35,111,109,42,106,122,16,126,22,81,69,49,11,19,100,102,70,79,64,46,4,75,41,54,101,37,36,127,104,76,1,52,98,117,108,56,10,124,99,45,34,96,68,83,85,93,107,39,18,13,61,32,47,27,6,112,58,50,43,28,14,26,131,48,38,116,17,66,44,8,120,31
1: 130,133,71,90,125,139,23,121,129,21,24,105,72,62,132,95,91,80,92,57,29,94,3,5,123,134,67,15,100,35,42,109,111,22,106,81,126,122,11,16,19,70,49,102,69,79,46,36,4,41,37,75,54,104,101,76,1,96,98,52,10,108,127,117,124,17,99,45,34,13,64,83,56,18,68,85,26,28,107,61,32,58,43,27,6,47,116,14,93,39,66,38,112,50,48,131,8,44,120,31
1: 133,130,71,125,90,139,23,121,21,129,24,132,105,72,62,95,92,91,29,57,5,80,123,15,3,100,67,94,134,42,109,35,111,106,22,19,126,11,81,49,16,122,70,102,69,79,36,46,54,75,4,37,41,104,76,1,101,96,108,98,127,52,117,124,18,13,10,17,99,45,34,56,6,83,68,64,85,26,32,27,61,58,47,116,14,93,39,28,43,107,66,38,112,50,48,113,8,131,51,120
1: 133,130,71,125,90,139,23,121,21,129,24,132,72,62,105,95,92,29,57,91,5,80,123,15,100,67,134,94,42,3,109,35,111,106,22,19,11,81,49,16,122,70,54,102,98,36,69,79,46,4,75,126,41,76,104,1,101,127,96,17,108,52,117,37,68,124,34,45,13,99,10,56,6,83,64,85,18,61,26,32,58,27,66,47,73,93,39,28,43,107,14,112,50,48,116,113,8,51,120,131
1: 133,130,71,139,125,90,121,23,21,129,132,24,105,62,29,72,95,92,91,57,80,15,100,123,67,5,56,42,134,35,109,106,111,22,94,16,49,81,70,19,54,122,11,102,36,98,75,46,4,99,126,41,79,37,68,101,76,17,52,1,117,104,127,96,10,108,45,34,6,124,13,93,85,83,61,26,39,58,73,113,64,27,47,50,107,66,18,28,8,112,43,33,51,120,14,86,48,38,116,131
1: 130,133,71,139,90,125,121,23,21,129,132,24,105,62,29,72,92,95,91,57,123,80,100,15,35,67,5,56,42,134,94,109,22,16,49,81,111,70,19,122,54,11,102,36,98,106,46,75,99,4,126,79,41,68,101,17,76,1,117,6,93,127,96,104,37,52,10,108,45,34,13,124,61,85,64,26,39,86,58,73,113,107,47,50,18,27,60,66,43,28,33,8,83,51,131,120,14,48,38,116
1: 133,130,71,139,125,90,121,23,21,129,132,24,105,72,62,29,80,92,123,95,16,57,91,67,15,100,5,134,35,42,56,94,22,109,49,70,19,122,54,81,11,36,4,102,79,93,46,75,99,98,6,127,68,101,126,76,17,1,41,106,117,96,104,52,10,108,37,45,34,111,124,61,64,85,39,18,86,58,73,113,13,26,65,47,50,83,27,60,107,66,131,8,28,120,48,38,43,116,14,51
1: 133,130,71,139,125,90,121,23,21,129,132,24,105,72,62,29,92,123,95,16,80,57,42,91,100,67,15,5,56,134,35,94,109,22,49,70,122,19,54,81,37,36,102,11,46,93,75,99,98,4,6,127,68,101,126,96,76,17,1,106,117,104,52,10,34,108,41,45,79,111,124,39,120,18,73,64,66,58,85,86,113,61,26,65,50,83,27,13,60,33,107,131,32,48,47,38,28,8,43,116
1: 133,130,71,139,23,90,125,129,121,80,21,132,24,62,29,92,72,123,95,5,16,57,42,15,100,67,56,105,35,94,134,49,22,81,109,70,11,102,122,54,19,68,6,46,127,93,37,36,99,4,98,96,10,75,1,76,117,52,91,101,41,34,104,126,45,17,111,86,108,79,120,61,32,64,113,39,73,85,66,78,124,18,26,58,50,65,13,83,27,60,131,48,8,107,106,47,38,28,137,33
1: 133,130,71,139,23,90,125,121,129,80,21,132,24,29,62,92,72,123,95,5,16,56,57,42,15,67,100,35,105,94,134,49,22,36,81,70,11,102,68,19,46,127,93,54,37,109,99,4,98,96,10,75,1,76,6,52,61,91,101,117,41,122,17,126,45,111,34,86,108,79,120,64,73,32,85,26,78,104,39,124,18,13,58,113,65,50,66,27,60,131,28,106,48,107,47,38,8,14,137,43
1: 133,130,71,139,23,90,125,121,129,80,21,132,24,62,29,72,123,92,95,5,16,56,57,42,67,100,35,105,15,94,134,49,22,36,18,11,81,102,19,68,127,37,93,54,46,109,99,4,96,6,70,98,108,113,75,10,1,76,52,61,91,101,41,117,45,17,126,122,111,64,34,86,79,73,120,26,104,39,124,78,27,128,58,85,65,50,66,60,32,33,47,28,48,38,131,20,14,8,43,110
1: 133,130,71,139,90,23,125,121,129,80,21,132,24,29,72,92,123,95,62,16,56,5,57,42,67,100,49,35,94,134,22,105,36,15,18,11,109,81,102,19,127,68,37,108,86,93,99,54,4,70,98,6,96,113,75,10,1,52,61,117,76,101,46,17,126,45,73,41,122,91,111,64,34,79,131,65,55,27,120,39,104,124,78,58,128,66,26,85,33,60,48,32,47,28,38,8,83,20,50,14
1: 133,130,139,71,90,23,125,121,129,80,21,132,24,29,49,92,95,123,72,62,16,56,5,42,57,35,81,67,94,22,134,100,36,105,15,18,109,127,11,68,19,108,86,37,99,93,54,98,4,70,10,6,96,1,102,41,75,52,113,117,46,76,111,17,126,61,73,91,64,45,34,55,101,79,39,131,65,27,122,120,78,104,124,26,58,128,85,66,32,33,60,48,47,28,8,20,50,14,43,12
1: 133,130,139,71,23,80,125,90,121,21,129,24,132,29,49,92,95,62,72,16,5,56,57,42,94,35,81,100,67,123,22,134,15,36,105,18,109,11,68,98,70,127,86,93,54,37,108,102,99,4,19,10,6,96,75,1,41,52,117,113,76,17,111,126,61,73,46,64,34,45,91,55,65,39,131,27,120,124,78,26,58,48,128,66,60,104,32,28,85,33,101,47,79,83,82,8,20,50,9,12
1: 133,130,139,71,23,80,125,90,121,21,129,24,132,29,49,92,95,62,5,16,56,72,57,94,35,81,42,100,67,123,36,22,134,15,105,41,18,109,11,68,98,108,70,127,86,93,54,37,102,99,4,19,1,6,96,75,113,10,117,52,76,17,111,27,126,61,73,46,64,91,55,65,34,45,39,131,120,124,78,26,58,48,128,66,60,104,32,28,33,101,79,82,47,83,8,50,85,9,12,20
1: 133,130,80,139,71,125,90,121,23,129,21,5,29,132,49,92,62,16,95,94,24,56,57,35,81,72,123,42,22,36,18,67,134,100,41,15,96,86,68,127,93,11,98,102,54,108,4,6,46,10,1,99,70,75,19,17,52,76,113,131,105,61,117,37,45,55,65,64,39,73,109,27,126,111,91,124,78,120,58,34,48,60,128,26,28,33,66,3,47,7,32,9,82,85,84,50,101,79,12,13
1: 133,130,80,139,71,125,90,121,23,129,21,5,29,132,49,92,62,16,95,94,24,56,57,81,35,72,123,42,22,36,18,67,134,100,41,15,96,86,68,127,93,11,98,102,54,108,4,6,46,10,1,70,75,19,17,52,99,76,105,61,131,113,37,45,55,65,64,39,109,117,126,111,91,73,27,124,120,58,78,34,48,60,128,26,28,33,66,3,47,7,32,9,82,85,84,50,2,101,79,12
1: 133,130,80,139,71,125,121,90,23,129,21,5,29,132,49,92,62,16,95,94,24,56,57,81,35,72,123,22,68,36,100,41,67,134,18,96,15,11,42,86,127,93,98,102,108,4,6,1,55,46,70,19,17,52,76,10,99,105,61,113,75,45,117,131,65,64,39,109,37,54,111,91,73,27,3,126,120,124,58,78,34,60,33,128,26,28,66,48,7,32,13,47,9,85,82,84,50,2,101,79
1: 133,130,80,139,71,125,121,90,23,129,21,5,29,132,49,92,62,16,95,94,24,56,57,81,35,72,123,22,68,36,100,41,67,18,96,134,15,86,11,42,127,93,46,102,98,4,108,6,1,19,55,70,39,105,17,10,99,113,76,45,117,52,75,124,65,64,61,109,37,54,111,27,91,3,126,30,58,73,34,120,78,60,28,66,33,128,26,48,7,32,13,9,82,84,135,88,85,50,2,59
1: 133,130,80,139,71,125,121,23,90,129,21,5,29,92,49,132,62,95,16,94,56,41,18,24,35,57,81,72,100,22,68,36,86,96,134,15,11,123,42,127,93,98,46,102,55,67,4,108,10,19,6,17,70,113,39,117,105,1,45,76,52,75,65,99,64,124,61,54,3,111,37,27,109,126,58,91,34,78,60,120,13,28,66,128,30,7,131,33,73,85,9,32,84,59,135,48,50,2,12,8
1: 133,80,130,139,71,125,121,23,90,129,5,21,16,29,92,49,132,62,56,94,41,95,18,24,72,81,57,35,22,100,86,68,96,134,15,36,123,11,42,6,98,93,108,46,127,4,55,102,67,17,39,113,70,117,105,45,75,10,1,54,52,76,65,19,61,64,99,3,27,111,37,124,66,13,126,58,91,109,28,60,120,85,128,78,30,33,73,84,131,48,9,2,32,34,59,135,12,8,136,50
1: 133,80,130,139,71,125,121,23,129,90,5,21,16,92,29,49,132,62,81,41,56,94,95,18,24,72,57,35,100,22,86,68,11,15,134,96,36,123,6,98,93,108,4,67,127,55,102,46,17,39,42,10,113,70,117,105,45,75,1,54,76,65,52,19,61,64,99,3,124,111,66,37,28,27,91,109,120,78,60,128,85,58,30,13,73,12,33,131,8,32,84,136,48,2,59,34,9,135,26,82
1: 133,80,130,139,71,23,125,121,129,90,5,21,16,29,92,49,41,81,132,56,94,18,62,24,72,57,22,35,100,11,68,95,86,134,96,36,4,123,6,93,108,98,15,127,55,67,102,46,45,17,105,42,113,66,117,75,39,70,10,48,54,76,65,1,64,61,99,3,19,124,111,52,37,27,28,109,91,85,84,60,78,120,13,58,30,8,14,73,87,12,135,33,128,32,131,114,2,59,136,26
1: 80,133,130,139,71,23,125,121,5,129,81,16,29,92,49,41,132,94,90,56,18,21,24,72,57,35,100,22,11,68,86,95,96,36,4,15,123,98,108,127,6,93,55,67,46,117,45,42,17,102,66,105,75,113,39,70,48,10,54,65,76,1,111,19,61,3,124,109,37,64,28,91,14,85,99,60,78,120,27,13,135,2,58,30,84,73,87,12,128,32,131,33,134,114,82,59,26,136,77,8
1: 80,133,130,139,71,23,125,121,5,129,81,16,29,92,49,41,132,94,90,56,18,21,24,72,57,35,100,22,11,68,86,95,96,36,15,123,98,4,108,127,6,93,55,67,46,117,45,42,17,102,105,75,66,113,39,70,10,61,54,76,48,1,65,111,19,3,124,109,37,28,91,14,85,99,60,78,27,2,13,135,58,84,30,73,87,128,64,32,12,131,33,134,114,59,26,120,82,136,119,77
1: 80,133,130,71,139,23,125,121,5,129,81,16,29,92,49,41,132,94,90,56,18,21,24,72,57,35,100,22,11,68,86,95,36,96,15,123,98,4,127,93,55,67,108,46,117,6,42,17,45,102,105,75,66,113,39,70,10,61,54,48,76,1,65,111,19,3,124,109,37,28,91,14,85,99,60,135,82,27,78,2,13,58,119,30,87,128,84,64,32,73,12,131,33,134,114,59,26,53,112,136